@inproceedings{embedded-cc-sac-oops-2010,
 author = {F\"{a}hndrich, M{.} and Barnett, M{.} and Logozzo, F{.}},
 title = {Embedded contract languages},
 booktitle = {ACM SAC},
 }

@inproceedings{CousotCousot77,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Abstract interpretation: a unified lattice model for static 
                analysis of programs by construction or approximation of 
                fixpoints},
   year = 1977,
   booktitle = {ACM POPL},
}

@inproceedings{subpolyhedra,
 author = {Laviron, V{.} and Logozzo, F{.}},
 title = {SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities},
 booktitle = {VMCAI},
 year = {2009},
 }

@misc{codecontracts,
  author = 	 {F\"ahndrich, M{.} and  Barnett, M{.} and  Logozzo, F{.}},
  title = 	 {{Code Contracts}},
  url = "http://research.microsoft.com/contracts",
  month = 	 mar,
  year = 	 {2009} 
}

@inproceedings{cccheck,
  author    = {F{\"a}hndrich, M{.} and
               Logozzo, F{.}},
  title     = {Static Contract Checking with Abstract Interpretation},
  booktitle = {FoVeOOS},
  year      = {2010}
}

@inproceedings{CousotCousotLogozzo-VMCAI11,
  author    = {Cousot, P{.} and
                Cousot, R{.} and
               Logozzo, F{.}},
  title     = {Precondition Inference from Intermittent Assertions and
               Application to Contracts on Collections},
  booktitle = {VMCAI},
  year      = {2011}
}

@inproceedings{CousotCousotLogozzo-POPL11,
  author    = {Cousot, P{.} and
                Cousot, R{.} and
               Logozzo, F{.}},
  title     = {A parametric segmentation functor for fully automatic and
               scalable array content analysis},
  booktitle = {POPL},
  year      = {2011}
}
@inproceedings{Logozzo-VMCAI07,
  author    = {Logozzo, F{.}},
  title     = {Cibai: An Abstract Interpretation-Based Static Analyzer
               for Modular Analysis and Verification of Java Classes},
  booktitle = {VMCAI},
  year      = {2007}
}
@inproceedings{LogozzoFahndrich08,
  author    = {Logozzo, F{.} and
               F{\"a}hndrich, M{.}},
  title     = {Pentagons: a weakly relational abstract domain for the efficient
               validation of array accesses},
  booktitle = {SAC},
  year      = {2008}
}
@inProceedings{LogozzoFahndrich11, 
   author    = {Logozzo, F{.} and
               F{\"a}hndrich, M{.}},
  title = 	 {Checking Compatibility of Bit Sizes in Floating Point Comparison Operations},
  year = 	 {2011},
  booktitle = {3rd workshop on Numerical and Symbolic Abstract Domains},
  series = 	 {ENTCS}
}


@InProceedings{PerkinsEtAl09,
  author = 	 {Perkins, J{.} H{.} and  Kim, S{.} and  Larsen, S{.} and  Amarasinghe, S{.} P{.} and   Bachrach, J{.} and   Carbin, M{.} and   Pacheco, C{.} and   Sherwood, F{.} and  Sidiroglou, S{.} and   Sullivan, G{.} and   Wong, W{.}-F{.} and   Zibin, Y{.} and  Ernst, M{.} D{.} and  Rinard, M{.}},
  title = 	 {Automatically patching errors in deployed software},
  booktitle = {{ACM SOSP}},
  year = 	 {2009}
}

@inproceedings{FahndrichLeino03,
  author    = {F{\"a}hndrich, M{.} and
               Leino, K{.} R{.} M{.}},
  title     = {Declaring and checking non-null types in an object-oriented
               language},
  booktitle = {{ACM OOPSLA}},
  year      = {2003},
}
@inproceedings{Fahndrich10,
  author    = { F{\"a}hndrich, M{.}},
  title     = {Static Verification for {C}ode {C}ontracts},
  booktitle = {SAS},
  year = 2010
}
@article{LiskovWing94,
  author    = {Liskov, B{.} and
               Wing, J{.} M{.}},
  title     = {A Behavioral Notion of Subtyping},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {16},
  number    = {6},
  year      = {1994},
}

@article{MeyerIEEEComputer92,
  author    = {Meyer, B{.}},
  title     = {Applying "{D}esign by {C}ontract"},
  journal   = {IEEE Computer},
  volume    = {25},
  number    = {10},
  year      = {1992},
  pages     = {40-51},
}

@inproceedings{ChandraFS09,
  author    = {Chandra, S{.} and
               Fink, S{.} J{.} and
               Sridharan. M{.}},
  title     = {Snugglebug: a powerful approach to weakest preconditions},
  booktitle = {PLDI},
  year      = {2009},
  pages     = {363-374}
}

@inproceedings{BallKY05,
  author    = {Ball, T{.} and
               Kupferman, O{.} and
               Yorsh, G{.}},
  title     = {Abstraction for Falsification},
  booktitle = {CAV},
  year      = {2005},
  pages     = {67-81}
}

@inproceedings{GodefroidLM08,
  author    = { Godefroid, P{.} and
               Levin, M{.} Y{.} and
               Molnar, D{.} A{.}},
  title     = {Automated Whitebox Fuzz Testing},
  booktitle = {NDSS},
  year      = {2008}
}

@inproceedings{ChandraPLDI2009,
 author = {Chandra, S{.} and Fink, S{.} J{.} and Sridharan, M{.}},
 title = {Snugglebug: a powerful approach to weakest preconditions},
 booktitle = {Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation},
 series = {PLDI '09},
 year = {2009},
 pages = {363--374}
}

@article{PezzeEtAl11,
  author    = { Pezz{\`e}, M{.} and
               Rinard, M{.} C{.} and
               Weimer, W{.} and
                Zeller, A{.}},
  title     = {Self-Repairing Programs ({D}agstuhl Seminar 11062)},
  journal   = {Dagstuhl Reports},
  volume    = {1},
  number    = {2},
  year      = {2011},
  pages     = {16-29}
}

@inproceedings{WeimerEtAl09,
  author    = {Weimer, W{.} and
               Nguyen, T{.} and
               Le Goues, C{.} and
               Forrest, S{.}},
  title     = {Automatically finding patches using genetic programming},
  booktitle = {ICSE},
  year      = {2009}
}

@inproceedings{Pex,
  author    = { Tillmann, N{.} and
               de Halleux, J{.}},
  title     = {Pex-White Box Test Generation for .NET},
  booktitle = {TAP},
  year      = {2008}
}

@inproceedings{WeiEtAl,
  author    = {Wei, Y{.} and
               Pei, Y{.} and
               Furia, C{.} A{.} and
               Silva, L{.} S{.} and
               Buchholz, S{.} and
               Meyer, B{.} and
               Zeller, A{.}},
  title     = {Automated fixing of programs with contracts},
  booktitle = {ISSTA},
  year      = {2010},
  pages     = {61-72}
}

@inproceedings{SamantaEtAl08,
  author    = {Samanta, R{.} and
               Deshmukh, J{.} V{.} and
               Emerson, E{.} A{.}},
  title     = {Automatic Generation of Local Repairs for Boolean Programs},
  booktitle = {FMCAD},
  year      = {2008},
}

@inproceedings{JobstmannEtAl05,
  author    = {Jobstmann, B{.} and
               Griesmayer, A{.} and
                Bloem, R{.}},
  title     = {Program Repair as a Game},
  booktitle = {CAV},
  year      = {2005}
}


@inproceedings{GriesmayerEtAl06,
  author    = {Griesmayer, A{.} and
               Bloem, R{.} and
               Cook, B{.}},
  title     = {Repair of Boolean Programs with an Application to C},
  booktitle = {CAV},
  year      = {2006}
}

@Misc{roslyn,
  author = 	 {Microsoft},
  title = 	 {Roslyn {CTP}},
  howpublished = {\texttt{http://msdn.microsoft.com/en-us/roslyn}},
  year = 	 {2011}
}



@Misc{eclipse,
  author = 	 {Eclipse Foundation},
  title = 	 {Eclipse},
  howpublished = {\texttt{http://eclipse.org}},
  year         = {2011},
}

@article{Hoare69,
  author    = {{C. A. R.} {H}oare},
  title     = {An Axiomatic Basis for Computer Programming},
  journal   = {Commun. ACM},
  volume    = {12},
  number    = {10},
  year      = {1969}
}

@inproceedings{ClarkeEtAl00,
  author    = {Clarke, E{.} M{.} and
               Grumberg, O{.} and
               Jha, S{.} and
               Lu, Y{.} and
               Veith, H{.}},
  title     = {Counterexample-Guided Abstraction Refinement},
  booktitle = {CAV},
  year      = {2000}
}

@inproceedings{Martel09,
  author    = {Martel, M{.}},
  title     = {Program transformation for numerical precision},
  booktitle = {{ PEPM}},
  year      = {2009}
}

@inproceedings{VechevEtAl10,
  author    = {Vechev, M{.} T{.} and
               Yahav, E{.} and
               Yorsh, G{.}},
  title     = {Abstraction-guided synthesis of synchronization},
  booktitle = {POPL},
  year      = {2010}
}

@inproceedings{Starc,
  author    = {Elkarablieh, B{.} and
               Khurshid, S{.} and
               Vu, D{.} and
               McKinley, K{.} S{.}},
  title     = {Starc: static analysis for efficient repair of complex data},
  booktitle = {OOPSLA},
  year      = {2007}
 }

@inproceedings{ChandraEtAl11,
  author    = {Chandra, S{.} and
               Torlak, E{.} and
               Barman, S{.} and
               Bod\'{\i}k, R{.}},
  title     = {Angelic debugging},
  booktitle = {ICSE},
  year      = {2011}
}



@inproceedings{JoseMajumdarPLDI11,
  author    = {Jose, M{.} and
               Majumdar, R{.}},
  title     = {Cause clue clauses: error localization using maximum satisfiability},
  booktitle = {PLDI},
  year      = {2011}
}

@inproceedings{RivalSAS05,
  author    = {Rival, X{.}},
  title     = {Understanding the Origin of Alarms in Astr{\'e}e},
  booktitle = {SAS},
  year      = {2005}
}

@inproceedings{LeGouesEtAl-ICSE12,
  author    = {{L}e {G}oues, C{.} and
               Dewey-Vogt, M{.} and
               Forrest, S{.} and
               Weimer, W{.}},
  title     = {A systematic study of automated program repair: Fixing 55
               out of 105 bugs for \$8 each},
  booktitle = {ICSE},
  year      = {2012}
}


@inproceedings{SaminiEtAl-ICSE12,
  author    = {Samimi, H{.} and
               Sch{\"a}fer, M{.} and
               Artzi, S{.} and
               Millstein, T{.} D{.} and
               Tip, F{.} and
               Hendren, L{.} J{.}},
  title     = {Automated repair of HTML generation errors in PHP applications
               using string constraint solving},
  booktitle = {ICSE},
  year      = {2012},
}

@inproceedings{FITE,
  author    = {Whalen, M{.} W{.} and
               Godefroid, P{.} and
               Mariani, L{.} and
               Polini, A{.} and
               Tillmann, N{.} and
               Visser, W{.}},
  title     = {FITE: future integrated testing environment},
  booktitle = {FoSER},
  year      = {2010}
}



@InProceedings{LogozzoEtAlDemoOOPSLA12,
  author = 	 {Logozzo, F{.} and  Barnett, M{.} and Cousot, P{.}  and  Cousot, R{.}  and F\"ahndrich, M{.} },
  title = 	 {A Semantic Integrated Development Environment},
  booktitle = {OOPSLA Companion},
  year = 	 {2012}
}



@InProceedings{CousotCousotLogozzoBarnett-OOPSLA12,
  author = 	 {Cousot, P{.} and Cousot, R{.} and Logozzo, F{.} and Barnett, M{.}},
  title = 	 {An Abstract Interpretation Framework for Refactoring with Application to Extract Methods with Contracts},
  booktitle = {OOPSLA},
  year = 	 {2012}
}


@inproceedings{DilligDilligAiken-PLDI12,
  author    = {Dillig, I{.} and
               Dillig, T{.} and
               Aiken, A{.}},
  title     = {Automated error diagnosis using abductive inference},
  booktitle = {PLDI},
  year      = {2012}
}

@article{Cousot-TCS02,
  author    = { Cousot, P{.}},
  title     = {Constructive design of a hierarchy of semantics of a transition
               system by abstract interpretation},
  journal   = {Theor. Comput. Sci.},
  volume    = {277},
  number    = {1-2},
  year      = {2002}
}
